Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
9
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

Année:
2010
Langue:
english
Fichier:
PDF, 8.54 MB
0 / 0
english, 2010
11
Specification and verification of declarative open interaction models : a logic-based approach

Specification and verification of declarative open interaction models : a logic-based approach

Année:
2010
Langue:
english
Fichier:
PDF, 6.55 MB
0 / 0
english, 2010